k zçe ne demek?

Kriptografik Sıfır Bilgi Kanıtı (k ZÇ)

Kriptografik Sıfır Bilgi Kanıtı (k ZÇ), bir tarafın (kanıtlama sahibi) bir beyanın doğruluğunu başka bir tarafa (doğrulayıcı) beyanın içeriği hakkında herhangi bir bilgi vermeden kanıtlayabildiği bir şifreleme protokolüdür. Başka bir deyişle, doğrulayıcı, kanıtın geçerliliğinden başka hiçbir şey öğrenmez.

Temel Özellikler:

• Tamlık: Beyan doğruysa, dürüst bir kanıtlama sahibi, dürüst bir doğrulayıcıyı beyanın doğruluğuna ikna edebilir.
• Sağlamlık: Beyan yanlışsa, hiçbir hilekar kanıtlama sahibi, dürüst bir doğrulayıcıyı beyanın doğruluğuna ikna edemez.
• Sıfır Bilgi: Doğrulayıcı, beyanın doğruluğu dışında beyan hakkında hiçbir bilgi edinemez.

k ZÇ'nin Kullanım Alanları:

• Kimlik Doğrulama: Bir kullanıcının şifresini açıklamadan kimliğini doğrulamak. (https://www.nedemek.page/kavramlar/kimlik%20doğrulama)
• Gizlilik Koruyucu İşlemler: Bir işlemin ayrıntılarını (örneğin, gönderici, alıcı, miktar) açıklamadan geçerliliğini kanıtlamak. (https://www.nedemek.page/kavramlar/gizlilik%20koruyucu%20işlemler)
• Güvenli Hesaplama: Verileri paylaşmadan bir hesaplamanın sonucunu doğrulamak. (https://www.nedemek.page/kavramlar/güvenli%20hesaplama)
• Blok Zincir: Gizliliği artırmak ve ölçeklenebilirliği iyileştirmek. (https://www.nedemek.page/kavramlar/blok%20zincir)

Örnekler:

• zk-SNARKs (Succinct Non-Interactive Argument of Knowledge): Hızlı doğrulama süreleri ve küçük kanıt boyutlarıyla bilinen popüler bir k ZÇ uygulamasıdır. (https://www.nedemek.page/kavramlar/zk-SNARKs)
• zk-STARKs (Scalable Transparent ARguments of Knowledge): Güvenilir bir kurulum gerektirmeyen ve daha ölçeklenebilir olan başka bir k ZÇ türüdür. (https://www.nedemek.page/kavramlar/zk-STARKs)